bounded existential quantifier英 [ˈbaʊndɪd ˌeɡzɪˈstenʃəl ˈkwɒntɪfaɪə(r)]美 [ˈbaʊndɪd ˌeɡzɪˈstenʃəl ˈkwɑːntɪfaɪər]网络 有界存在量词计算机